Do you really mean what you actually enforced?

DO YOU REALLY MEAN WHAT YOU ACTUALLY ENFORCED? Edit Automata revised

In the landmark paper on the theoretical side of Polymer, Ligatti and his co-authors have identified a new class of enforcement mechanisms based on the notion of edit automata, that can transform sequences and enforce more than simple safety properties. We show that there is a gap between the edit automata that one can possibly write (e.g. by Ligatti himself in his running example) and the edit...

Do You Really Mean What You Actually Enforced? Edit Automata Revisited

In the landmark paper on the theoretical side of Polymer, Ligatti and his co-authors have identified a new class of enforcement mechanisms based on the notion of edit automata, that can transform sequences and enforce more than simple safety properties. We show that there is a gap between the edit automata that one can possibly write (e.g. by Ligatti himself in his running example) and the edit...

Palliative care; what do you really mean?

What Do You Mean, Coordination?∗

Coordination models and languages represent a new approach to design and development of concurrent systems. The interest in coordination has intensified in the last few years, as evidenced by the increasing number of conferences, tracks, and papers devoted to this topic, and by the recent upsurge of research activity in the theoretical computer science community in this field. The field is rela...

What do you mean, "epigenetic"?

Interest in the field of epigenetics has increased rapidly over the last decade, with the term becoming more identifiable in biomedical research, scientific fields outside of the molecular sciences, such as ecology and physiology, and even mainstream culture. It has become increasingly clear, however, that different investigators ascribe different definitions to the term. Some employ epigenetic...